This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...) in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

Free logic, an alternative to traditional logic, has been seen as a useful avenue of approach to a number of philosophical issues of contemporary interest. In this collection, Karel Lambert, one of the pioneers in, and the most prominent exponent of, free logic, brings together a variety of published essays bearing on the application of free logic to philosophical topics ranging from set theory and logic to metaphysics and the philosophy of religion. The work of such distinguished philosophers as (...) Bas van Fraassen, Dana Scott, Tyler Burge, and Jaakko Hintikka is represented. Lambert provides an introductory essay placing free logic in the logical tradition beginning with Aristotle, developing it as the natural culmination of a trend begun in the Port Royal logic of the 1600s, and continuing through current predicate logic--the trend to rid logic of existence assumptions. His Introduction also provides a useful systematic overview of free logic, including both a standard syntax and some semantical options. (shrink)

Free logic is an important field of philosophical logic that first appeared in the 1950s. J. Karel Lambert was one of its founders and coined the term itself. The essays in this collection explore the philosophical foundations of free logic and its application to areas as diverse as the philosophy of religion and computer science. Amongst the applications on offer are those to the analysis of existence statements, to definite descriptions and to partial functions. The volume contains a proof (...) that free logics of any kind are non-extensional and then uses that proof to show that Quine's theory of predication and referential transparency must fail. The purpose of this collection is to bring an important body of work to the attention of a new generation of professional philosophers, computer scientists and mathematicians. (shrink)

As well as aiming to revive interest in Meinong's thought, this book challenges many of the most widespread assumptions of philosophical logic.

The essays in this volume are based on addresses presented during a colloquium on free logic, modal logic and related areas held at the University of California at Irvine, in May of 1968. With the single exception of Dagfinn F011esdal, whose revised address is included in a recent issue of Synthese honoring W. V. Quine, all of the speakers at the Irvine colloquium are contributors to this volume. Thanks are due to Professor A. I. Melden, Chairman of the Department of (...) Philosophy at Irvine, for his enthusiastic support of the colloquium, and to Drs. Gordon Brittan and Daniel Dennett for their help in the administration of the colloquium. Finally. I should also like to thank Professor Ralph W. Gerard, Dean of the Graduate Division of the University of California at Irvine, for the financial support which made the colloquium possible. KAREL LAMBERT Laguna Beach, California, 1969 TABLE OF CONTENTS PREFACE V KAREL LAMBERT and BAS C. VAN FRAASSEN/ Meaning Relations, Possible Objects, and Possible Worlds 1 JAAKKO HINTIKKA / Existential Presuppositions and Uniqueness Presuppositions 20 RICHMOND H. THOMASON / Some Completeness Results for Modal Predicate Calculi 56 H. LEBLANC and R. K. MEYER / Truth-Value Semantics for the Theory of Types 77 J. M. VICKERS / Probability and Non Standard Logics 102 PETER W. WOODRUFF / Logic and Truth Value Gaps 121 DANA SCOTT / Advice on Modal Logic 143 INDEX OF NAMES 175 KAREL LAMBER T AND BAS C. (shrink)

The authors contend that most contemporary logic textbooks fail the average student because they emphasize the evaluation of arguments over their clarification, assuming that the student already understands what motivations underlie logic.

The expression ‘free logic,’ coined by the author in 1960, is an abbreviation for ‘logic free of existence assumptions with respect to its terms, singular and general, but whose quantifiers are treated exactly as in standard quantifier logic.’ In more traditional language, such logics do not presume that either singular or general terms — the two distinct categories of terms emphasized in modern logical grammar — have existential import. A singular term ‘t’ has existential import just in case t exists (...) (or, equivalently, there exists an object the same as t) and a general term (or predicate) ‘G’ has existential import just in case G exist (or, equivalently, there exists an object that is G).1 Examples from colloquial English customarily taken to be singular terms are expressions such as ‘Socrates’, ‘the planet causing perturbations in the orbit of Mercury’, ‘5’, ‘5/0’, ‘the square of 3’ and ‘having a heart’. Some of these do not have existential import — in particular, ‘5/0’ and ‘the planet causing perturbations in the orbit of Mercury’. Examples from colloquial English customarily taken to be general terms are expressions such as ‘is a philosopher’, ‘is a planet causing perturbations in the orbit of Mercury’, ‘number’, ‘is divisible by 0’, and ‘has a heart’. Some of these general terms do not have existential import — in particular, ‘is a planet causing perturbations in the orbit of Mercury’ and ‘is divisible by 0’. To say that the quantifers are treated exactly as in standard quantifier logic is to say, roughly, that the operator symbol ‘∃’ (the existential quantifier) reads: ‘There exists an object’, and the operator symbol ‘∀’ (the universal quantifier) reads: ‘Every existent object’. (shrink)

Many biologists still believe in a sort of post-Cartesian foundation of reality wherein objects are independent of subjects which cognize them. Recent research in behaviour, cognition, and psychology, however, provides plenty of evidence to the effect that the perception of an object differs depending on the kind of animal observer, and also its personality, hormonal, and sensorial set-up etc. In the following, I argue that exposed surfaces of organisms interact with other organisms’ perception to form semiautonomous relational entities called semantic (...) organs, which participate in biological reality as discrete heritable evolutionary units. The inner dimensions and potentialities of an organism can enter the senses of another living being when effectively expressed on the outer surfaces of the former and meaningfully perceived by the latter. Semantic organs have three basic sources of variability: intrinsic, i.e., genetic, epigenetic, and developmental processes; extrinsic, meaning the biotic and abiotic environmental conditions which affect the developmental generators of intrinsic variability; and perceptual, stemming from differences in the subject-specific interpretation of a SO’s structural basis. Extrinsic and intrinsic sources of variability are, however, just precursors to semantic organs. SOs are relational entities which always come into existence through an act of perception and their actual form depends both on the physical potentialities of the bearer and the species- or group-specific interpretation of the receiver. (shrink)

The essays in this volume are based on addresses presented during a colloquium on free logic, modal logic and related areas held at the University of California at Irvine, in May of 1968. With the single exception of Dagfinn F011esdal, whose revised address is included in a recent issue of Synthese honoring W. V. Quine, all of the speakers at the Irvine colloquium are contributors to this volume. Thanks are due to Professor A. I. Melden, Chairman of the Department of (...) Philosophy at Irvine, for his enthusiastic support of the colloquium, and to Drs. Gordon Brittan and Daniel Dennett for their help in the administration of the colloquium. Finally. I should also like to thank Professor Ralph W. Gerard, Dean of the Graduate Division of the University of California at Irvine, for the financial support which made the colloquium possible. KAREL LAMBERT Laguna Beach, California, 1969 TABLE OF CONTENTS PREFACE V KAREL LAMBERT and BAS C. VAN FRAASSEN/ Meaning Relations, Possible Objects, and Possible Worlds 1 JAAKKO HINTIKKA / Existential Presuppositions and Uniqueness Presuppositions 20 RICHMOND H. THOMASON / Some Completeness Results for Modal Predicate Calculi 56 H. LEBLANC and R. K. MEYER / Truth-Value Semantics for the Theory of Types 77 J. M. VICKERS / Probability and Non Standard Logics 102 PETER W. WOODRUFF / Logic and Truth Value Gaps 121 DANA SCOTT / Advice on Modal Logic 143 INDEX OF NAMES 175 KAREL LAMBER T AND BAS C. (shrink)

Mimicry is often cited as a compelling demonstration of the power of natural selection. By adopting signs of a protected model, mimics usually gain a reproductive advantage by minimising the likelihood of being preyed upon. Yet while natural selection plays a role in the evolution of mimicry, it can be doubted whether it fully explains it. Mimicry is mediated by the emergence of formally analogous patterns between unrelated organisms and by the fact that these patterns are meaningfully perceived as similar. (...) The perception of similarity is always perceiver-dependent. Similarities between for instance colours are psychophysical phenomena, and their existence is conditioned by an intimate interdependence between perceivers and perceptible reality. In this sense, mimicry is by its very nature dualistic. The analogy in form needed to establish a mimicry does not emerge out of the blue. It depends on the ecological context and the morphogenetic potential of a species. In our proposal, we take into account both the developmental generators of formally analogous structures and the perceptual and cognitive processes that lead to the emergence of mimicry. We show that some of the rather controversial and nowadays largely neglected ideas found in non-Anglo-Saxon literature on mimicry deserve closer attention. We suggest that the diversity of mimicry types is due to differences in variational properties of form-generating and perceptual systems among diverse groups of organisms. We also anticipate that processes studied within social psychology and emotion research probably take place, at least in a simplified form, also in non-human animals. Finally, we argue that these meaning-attributive processes underlie the functionality of mimicry. (shrink)

Organic appearances are largely neglected by contemporary biology; partly because they are regarded as superficial effects of causes concealed beneath the surface. The persuasion that everything what does exist is existent for some immediately non-apparent reasons belongs to a general belief of modern science. All organisms are of the same evolutionary origin and of the same world wherein appearance coincides with existence. In this study, living beings are approached as appearing centers of experience that reflects their evolutionary history. From biohermeneutic (...) point of view the evolution of organisms, interactions between organisms, and their relationships to environment is understood as “evolution of interpretations”. I use simple conceptual framework of perception, semiotic co-option, and modification to explain the evolution of semantic organs, i.e. organs that operate through the meaning that was given to them by an animal interpreter. (shrink)

Homology is among the most important comparative concepts in biology. Today, the evolutionary reinterpretation of homology is usually conceived of as the most important event in the development of the concept. This paradigmatic turning point, however important for the historical explanation of life, is not of crucial importance for the development of the concept of homology itself. In the broadest sense, homology can be understood as sameness in reference to the universal guarantor so that in this sense the different concepts (...) of homology show a certain kind of “metahomology”. This holds in the old morphological conception, as well as in the evolutionary usage of homology. Depending on what is (or was) taken as a guarantor, different types of homology may be distinguished (as idealistic, historical, developmental etc.). This study represents a historical overview of the development of the homology concept followed by some clues on how to navigate the pluralistic terminology of modern approaches to homology. (shrink)

The essay outlines the character of free logic, and motivation for its construction and development. It details some technical achievements of high philosophical interest, but urges that the role of existence assumptions in logic is still not fully understood, that unresolved old problems, both technical and philosophical, abound, and presents some new problems of considerable philosophical import in free logic.

Public debate on acceptable farm animal husbandry suffers from a confusion of tongues. To clarify positions of various stakeholder groups in their joint search for acceptable solutions, the concept of animal welfare was split up into three notions: no suffering, respect for intrinsic value, and non-appalling appearance of animals. This strategy was based on the hypothesis that multi-stakeholder solutions should be based on shared values rather than on compromises. The usefulness of such an artificial value distinction strategy was tested in (...) a small series of experiments. The results demonstrate that the chosen concept to distinguish between values is effective in a stakeholder context. Farmers’ views on doing good to animals appeared to be largely based on their value to prevent suffering and predominantly focused on the provision of regular care. Their priority for this value is clearly shared with other stakeholders, providing a basis for joint solutions. The concept of intrinsic value does not play a discernable role in farmers’ considerations. Based on the varying views on welfare, it can be inferred that there is a gradual rather than a principal difference between government legislation and farmers’ values, whereas public perception and acceptance of farm practices remains complicated. Distinction between value groups and focusing on a selected notion (such as no suffering) proved to be effective in bringing representatives of stakeholder groups together, but is unlikely to bridge the emotional gap between commercial farm practices and public ideals. (shrink)

In the Philebus, Plato elaborates an image of our soul as a book where a scribe and a painter are constantly at work. This book examines the implicit premises of this image and aims at overcoming the general polarity of ancient phantasia and modern imagination.

This paper deals with the Meinong-Russell controversy on nonsubsistent objects. The first part notes the similarity of certain contemporary semantical developments to Meinonj;'s theory of nonsubsistent objects. Then it lays out the major features of Meinong's famous theory, considers Russell's objections to same and Meinong's counter-objections to Russell, and argues that Russell's well-known argument fails. However, it is possible to augment Russell's argument against Meinong with sound Russellian principles in such a way that it presents at least a strong inclining (...) reason against Meinong's theory of impossible objects. (shrink)